$\forall$$x$:Id, $k$:Knd, $A$, $T$:Type, $f$:($A$$\rightarrow$$T$$\rightarrow$$A$). ma{-}single{-}effect0($x$;$A$;$k$;$T$;$f$) $\in$ MsgA